Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004297 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The Computability Path Ordering: The End of a Quest |
| 004C11 | Frédéric Blanqui [France] ; Thérèse Hardin [France] ; Pierre Weis [France] | On the Implementation of Construction Functions for Non-free Concrete Data Types |
| 004C56 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
| 004C96 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France] | Building Decision Procedures in the Calculus of Inductive Constructions |
| 005470 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
| 00A928 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon] | The Calculus of Algebraic Constructions |
| This area was generated with Dilib version V0.6.33. |  |